$\forall$$M$:MsgA, $x$:Id, $s_{1}$, $s_{2}$:$M$.state. ($s_{1}$ $\equiv$ $s_{2}$ mod $x$) $\in$ $\mathbb{P}$